Applications of geometric logic to topos approaches to quantum theory
نویسنده
چکیده
This document describes my 3-year project “Applications of geometric logic to topos approaches to quantum theory”, to start in 2009 with funding from the UK Engineering and Physical Sciences Research Council (EPSRC) for a post-doctoral Research Assistant and a PhD studentship. After an overview of the background and programme of work, it leads on to a description of the high-grade postdoctoral post funded as part of
منابع مشابه
The principle of general tovariance
We tentatively propose two guiding principles for the construction of theories of physics, which should be satisfied by a possible future theory of quantum gravity. These principles are inspired by those that led Einstein to his theory of general relativity, viz. his principle of general covariance and his equivalence principle, as well as by the two mysterious dogmas of Bohr’s interpretation o...
متن کاملGelfand spectra in Grothendieck toposes using geometric mathematics
In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra A a topos T (A) of sheaves on a locale and a commutative C*-algebra A within that topos. The Gelfand spectrum of A is a locale Σ in this topos, which is equivalent to a bundle over the base locale. We further develop this external presentation of the locale Σ, by noting...
متن کاملClassifying Toposes for First-Order Theories
By a classifying topos for a first-order theory T, we mean a topos E such that, for any topos F , models of T in F correspond exactly to open geometric morphisms F → E . We show that not every (infinitary) first-order theory has a classifying topos in this sense, but we characterize those which do by an appropriate ‘smallness condition’, and we show that every Grothendieck topos arises as the c...
متن کاملTheories of presheaf type
Let us say that a geometric theory T is of presheaf type if its classifying topos B[T ] is (equivalent to) a presheaf topos. (We adhere to the convention that geometric logic allows arbitrary disjunctions, while coherent logic means geometric and finitary.) Write Mod(T ) for the category of Set-models and homomorphisms of T . The next proposition is well known; see, for example, MacLane–Moerdij...
متن کاملTemporal Topos and U-Singularities
Several papers and books by C. Isham, C.Isham-A. Doering, F. Van Oystaeyen, A. Mallios-I. Raptis, C. Mulvey, and Guts and Grinkevich, have been published on the methods of categories and sheaves to study quantum gravity. Needless to say, there are well-written treatises on quantum gravity whose methods are non-categorical and non-sheaf theoretic. This paper may be one of the first papers explai...
متن کامل